G[1]

"G: A Functional Language with Generic Abstract Data Types", P. A. G. Bailes, Computer Languages 12(2):69-94 (1987).